714 search results for "tag:"R""
Showing 701 - 714
-
YOCaml Runtime using Git as target1.0.0GPL-3.0-or-laterUsed by 0 other packages21 Nov 2023
-
Deal with Jingoo in YOCaml1.0.0GPL-3.0-or-laterUsed by 0 other packages21 Nov 2023
-
YOCaml Markdown processor1.0.0GPL-3.0-or-laterUsed by 0 other packages21 Nov 2023
-
Deal with Mustache in YOCaml1.0.0GPL-3.0-or-laterUsed by 0 other packages21 Nov 2023
-
YOCaml Syndication1.0.0GPL-3.0-or-laterUsed by 0 other packages21 Nov 2023
-
YOCaml Unix runtime1.0.0GPL-3.0-or-laterUsed by 0 other packages21 Nov 2023
-
Deal with Yaml in YOCaml1.0.0GPL-3.0-or-laterUsed by 0 other packages21 Nov 2023
-
Formally verified sampling from discrete probability distributions0.9.3MITUsed by 0 other packages17 Feb 2024
-
0.1Used by 0 other packages19 Mar 2019
-
0.5.0BSD-3-ClauseUsed by 0 other packages26 Jan 2024
-
0.2.0ISCUsed by 0 other packages24 Jan 2024
-
A fully automatic theorem prover for typed higher-order and beyond2.1BSD-2-ClauseUsed by 0 other packages05 Sep 2021
-
0.4BSD-3-ClauseUsed by 0 other packages08 Apr 2024
-
Bindings for the zxcvbn password strength estimation library2.4+1BSD-2-ClauseUsed by 0 other packages02 Sep 2020